Winnie Mandela: Part of My Soul Went With Him

Linda Best: My New Life as a HIM in Geneva.

Part of my liver.

My ex-wife called and asked if I would give her part of my liver. I asked if she could wait until I died. She said that would be too late. I was in good health, and she needed a liver transplant this year. “Please, Frank,” she said, “I’m not asking you to decide right now. Just take the blood test to see if we’re compatible.” “Marie,” I said, “20 years of marriage proved that we are not compati...

My get up and go got up and went: fatigue in people with cancer.

Many gaps remain in understanding fatigue across the phases of the cancer experience. These include determining the extent to which fatigue is a presenting or continuing symptom of cancer or a side effect of cancer treatment, identifying those at highest risk of fatigue, defining factors that differentiate between those who do and do not experience fatigue, and characterizing fatigue in special...

To Mor , to my parents , and to Rotem and her friends Winnie & the Pooh iv

The goal of shape analysis is to analyze properties of programs that perform destructive updating on dynamically allocated storage (heaps). In the past decade various frameworks have been proposed, most notable being the line of work based on shape graphs and canonical abstraction [SRW99, LAS00]. Frameworks have been proposed since, among them based on counter automata, predicate abstraction, a...

A Mistake on My Part

I first met Dov at a logic conference in Manchester, in August 1969, though we had begun a mathematical correspondence the previous year. Here are a few photos from the conference. As I recall, Dov planned to get married shortly after the conference. I found a letter in my files mentioning that I sent Dov a copy of the pictures in 1969, so this is for everybody else. Figure 1 shows Dov at Jodre...